Notre Dame Journal of Formal Logic Volume 50, Number 1, 2009 Factorization of the Shoenfield-like Bounded Functional Interpretation Jaime Gaspar

Source URL: jg.sdf.org

• Mathematics
• Mathematical logic
• Logic
• Logic in computer science
• Constructible universe
• Peano axioms
• Factorization
• Algebraic logic
• Dialectica interpretation
• Combinatory logic

Teaching Ambiguous Evidence 1 Teaching three-and-a-half-year-olds to revise their beliefs given ambiguous evidence Elizabeth B. Bonawitz1, Adina Fischer2, & Laura Schulz3 1

Source URL: eccl.mit.edu

• Philosophy
• Epistemology
• Logic
• Causal inference
• Reasoning
• Design of experiments
• Philosophy of science
• Causality
• Theory-theory
• Inductive reasoning
• Bayesian inference
• Belief

Reasoning in the SHOQ(Dn ) Description Logic Jeff Z. Pan and Ian Horrocks Information Management Group Department of Computer Science University of Manchester Oxford Road, Manchester M13 9PL, UK

Source URL: www.cs.man.ac.uk

A Fuzzy Approach For The 2007 CIG Simulated Car Racing Competition Duc Thang Ho and Jonathan M. Garibaldi Abstract— This paper describes the techniques that have been used by the winning entry of the 2007 IEEE Congress

Source URL: www.csse.uwa.edu.au

• Systems science
• Systems theory
• Science and technology
• Fuzzy logic
• Control engineering
• Automation
• Cybernetics
• Control theory
• Fuzzy control system
• Fuzzy set
• Controller
• Lotfi A. Zadeh

Epistemology Mathematicized “On [the] traditional view of the subject, the phrase ‘formal logic’ is pleonasm and ‘informal logic’ oxymoron.” John Burgess

Source URL: www.johnwoods.ca

• Philosophy
• Academia
• Epistemology
• Philosophy of science
• Critical thinking
• Statistical inference
• Logic
• Theory
• Philosophy of mathematics
• Formal epistemology
• Bayesian probability
• Mathematical proof

Proof mining in L1-approximation Ulrich Kohlenbach a,1, Paulo Oliva a,1 a Department of Computer Science, University of Aarhus, DK-8000 Aarhus C,

Source URL: www.mathematik.tu-darmstadt.de

• Mathematical analysis
• Mathematics
• Operator theory
• Computability theory
• Approximation theory
• Fourier analysis
• Modulus of continuity
• Primitive recursive function
• Linear temporal logic
• Differential forms on a Riemann surface

Stating the Obvious: Extracting Visual Common Sense Knowledge Mark Yatskar1 , Vicente Ordonez2 , Ali Farhadi1,2 Computer Science & Engineering, University of Washington, Seattle, WA 2 Allen Institute for Artificial Intel

Source URL: ai2-website.s3.amazonaws.com

• Philosophy
• Ontology
• Metaphysics
• Charles Sanders Peirce
• Semiotics
• Mathematical logic
• Knowledge representation
• Is-a
• Relation
• Spatial relation
• Category of being
• Representation

COLORING THE RATIONALS IN REVERSE MATHEMATICS EMANUELE FRITTAION AND LUDOVIC PATEY Abstract. Ramsey’s theorem for pairs asserts that every 2-coloring of the pairs of integers has an infinite monochromatic subset. In th

Source URL: ludovicpatey.com

• Mathematics
• Mathematical analysis
• Logic in computer science
• Differential forms
• Combinatory logic
• Lambda calculus
• Peano axioms
• Closed and exact differential forms
• Differential forms on a Riemann surface
• Banach fixed-point theorem

A Hundred Impossibility Proofs for Distributed Computing Nancy A. Lynch * Lab for Computer Science MIT, Cambridge, MAlynchQtds.Ics.mit.edu

Source URL: groups.csail.mit.edu

• Fault-tolerant computer systems
• Mathematical logic
• Distributed computing
• Consensus
• Failure
• Theory of computation
• Proof of impossibility
• Algorithm
• Byzantine fault tolerance
• Parallel computing
• Shared register

SUMMER 2014 PHILOSOPHY DEPARTMENT COURSE OFFERINGS Please note: No prerequisites are required for any summer courses. FIRST SUMMER SESSION: PHIL-UA 4; Life and Death; MTWR 1:30-3:05; Tienmu Ma An introduction to philosop

Source URL: www.nyu.edu

• Philosophy
• Belief
• Thought
• Branches of philosophy
• Epistemology
• Philosophy of science
• Metaphysics
• Immanuel Kant
• Reason
• Logic
• Idealism
• Philosophy of language